#include "simple_system_common.h"

int main(int argc, char **argv)
{
    puts("Hello World\n");

    return 0;
}
